package reliability.types.graph;

import java.util.Vector;

public class Paths
    extends Vector<Path>
{
    public String toString()
    {
        String str = "";
        for (int i = 0; i < size(); i++)
        {
            str += get(i).toString();
            if (i != size() - 1)
            {
                str += "; ";
            }
        }
        return str;
    }
}
